Giorgio Levi ’ s Festschrift Workshop
نویسنده
چکیده
3 • To understand the work of Giorgio Levi on the semantics of logic programming languages for static analysis • By reconstructing the semantics of Resolution-based/ Logic Programming... ...by abstract interpretations of a concrete semantics ...chosen to be a branching-time trace-based semantics (built from a state transition system) • In passing, we get some novel semantics that tackle impure characteristics of real implementations.
منابع مشابه
Abstract Debugging of Logic Programs
Debugging of Logic Programs Marco Comini Giorgio Levi Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56125 Pisa, Italy {comini, levi}@di.unipi.it
متن کاملAbstract Interpretation based Verification of Logic Programs
Interpretation based Verification of Logic Programs Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe Dipartimento di Informatica Università di Pisa Pisa, Italy
متن کاملStochastic Network Models in Neuroscience: A Festschrift for Jack Cowan. Introduction to the Special Issue.
Jack Cowan's remarkable career has spanned, and molded, the development of neuroscience as a quantitative and mathematical discipline combining deep theoretical contributions, rigorous mathematical work and groundbreaking biological insights. The Banff International Research Station hosted a workshop in his honor, on Stochastic Network Models of Neocortex, July 17-24, 2014. This accompanying Fe...
متن کامل